18.48/23.16	unsat
