23.18/25.16	unsat
