4.92/6.45	unsat
