5.79/6.55	unsat
