5.77/7.26	unsat
