15.10/25.72	unsat
