14.06/16.42	unsat
