14.17/14.94	unsat
