18.96/22.23	unsat
