5.77/6.21	unsat
