13.45/14.96	unsat
