4.83/5.11	unsat
