14.85/16.49	unsat
