5.76/5.83	unsat
