6.39/6.45	unsat
