3.85/5.11	unsat
