13.77/13.82	unsat
