23.56/26.12	unsat
