11.27/12.71	unsat
