14.56/17.76	unsat
