12.97/14.56	unsat
