4.77/7.29	unsat
