13.18/14.79	unsat
