5.34/6.79	unsat
