22.52/25.71	unsat
