6.18/6.45	unsat
