6.41/6.45	unsat
