18.55/20.21	unsat
