18.88/23.90	unsat
