5.77/6.57	unsat
