19.77/22.21	unsat
