10.66/10.72	unsat
