23.64/25.59	unsat
