4.81/7.33	unsat
