23.04/26.36	unsat
