14.27/18.32	unsat
