13.77/14.97	unsat
