14.80/16.56	unsat
