14.87/18.49	unsat
