13.98/14.39	unsat
