13.66/15.49	unsat
