13.98/14.76	unsat
