13.96/15.76	unsat
