18.67/23.16	unsat
