14.16/15.42	unsat
