14.77/16.55	unsat
