13.16/14.82	unsat
