7.83/12.72	unsat
