14.26/16.42	unsat
