4.71/6.54	unsat
