4.87/6.79	unsat
