5.77/7.72	unsat
