7.18/14.32	unsat
