5.77/6.55	unsat
