669.61/672.14	unsat
