14.26/16.97	unsat
