5.77/6.78	unsat
