7.18/13.45	unsat
