12.66/12.71	unsat
