23.62/26.12	unsat
