665.99/671.58	unsat
