23.07/25.54	unsat
