14.55/17.49	unsat
